Merge branch 'wip/chergert/profiler-event-marks-4' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Thu, 13 Jun 2019 22:28:37 +0000 (22:28 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Thu, 13 Jun 2019 22:28:37 +0000 (22:28 +0000)
profiler: add profiler marks for surface event delivery

See merge request GNOME/gtk!934


Trivial merge